An integrated framework for ought-to-be and ought-to-do constraints

An Integrated Framework for Ought-to-be and Ought-to-do Constraints 1

An Integrated Framework for Ought-to-be and Ought-to-do Constraints (Extended Abstract)

Deontic logic is the logic to reason about ideal and actual behaviour. Besides the traditional role as an underlying logic for law and ethics (for a survey see [MW]), in the realm of computer science, deontic logic has been proposed as a logic for the specification of legal expert systems [BMT87],[Sta80], authorization mechanisms [ML85], decision support systems [Kd.,88], [Lee88b],[Lee88a], dat...

What Ought a Program Committee to Do?

When the Internet was initially constructed it was a defacto playground for researchers. The research community built the Internet and refined it by monitoring traffic and tinkering with protocols and applications. The days of the Internet being a research sandbox are clearly over. Today, society at-large depends on the Internet as a crucial piece of infrastructure for communication and commerc...

There ought to be a law?

Position Paper: Shared Memory Ought to be Commonplace

Shared memory as a programming abstraction is widely used within parallel applications. It is not widely used between applications, but we argue that it should be. Specifically, we suggest that shared memory is both faster and more intuitive than the principal alternatives in many cases, and that the general disuse of shared memory facilities in systems such as Unix is due in large part to a la...